defination Algebraic Proof